$\forall$$L$:MsgA List. ($\forall$$A$,$B$$\in$$L$.$A$ $\Vert\!+$ $B$) $\Rightarrow$ ($\forall$$M$:MsgA. ($\forall$$B$$\in$$L$. $B$ $\Vert\!+$ $M$) $\Rightarrow$ ($\oplus$($L$) $\Vert\!+$ $M$))